Nuprl Definition : msg-rename 0,22
msg-rename(rtinv;m) == <1of(m),outl(rtinv(1of(2of(m)))),2of(2of(m))> 
latex

Definitions2of(t), 1of(t), outl(x)
FDL editor aliasesmsg-rename

origin